161. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : David Luckham,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : ANNA )Computer program language(,Ada )Computer program language(
رده :
QA
.
A54L83
76
.
73
1990
162. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : Luckham, David C.
کتابخانه: (طهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990
163. Real time programming 1980: Proceedings of the IFAC/IFIP workshop, schloss Retzhof, Leibinitz, Austria, 14- 16 April 1980
پدیدآورنده : edited by V.H.Haase, ist ed
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Real- time data processing - congresses,، Electronic digital computers- programming- congresses,، Ada )computer program language( - congresses
رده :
QA
76
.
54
.
R42
1980
164. Reference manual for the Ada programming Language. ANSI/MIL-STD 1815A- 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A16
.
R43
1983
165. Reliable software technologies
پدیدآورنده : Albert Llamosí, Alfred Strohmeier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language), Congresses.,Computer software-- Reliability, Congresses.
166. Reliable software technologies :
پدیدآورنده : Alfred Strohmeier, Dirk Craeynest (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language), Congresses
رده :
QA76
.
73
.
A16
A23
2001
167. Reliable software technologies--Ada-Europe 2012
پدیدآورنده : Mats Brorsson, Luís Miguel Pinho (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language), Congresses,Computer software-- Reliability, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
R44
A33
2012eb
168. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
169. Reliable software technologies- Ada-Europe'97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997 : proceedings
پدیدآورنده : Keith Hardy, Jim Briggs )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1251
170. Reliable software technologies : Ada-Europe'96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
پدیدآورنده : Alfred Strohmeier )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1088
171. Reliable software technologies - Ada-Europe'99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings
پدیدآورنده : Michael Gonzalez Harbour, Juan A. de la Puente )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1622
172. Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings
پدیدآورنده : Lars Asplund )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1411
173. Reliable software technologies Ada Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30 2000 : proceedings
پدیدآورنده : Hubert B. Keller, Erhard Plodereder )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1845
174. Reliable software technologies: Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Ada )Computer program language(
رده :
QA
76
.
73
.
A16
.
A23
2001
175. Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
پدیدآورنده : Dirk Craeynest, Alfred Strohmeier )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Ada )Computer program language(,Reliability -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2043
176. Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
پدیدآورنده : Albert Llamosi, Alfred Strohmeier )eds.(
کتابخانه: (طهران)
موضوع : Reliability --Congresses ، Computer software,Congresses ، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
3063
177. Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
پدیدآورنده : Tullio Vardanega, Andy Wellings )eds.(
کتابخانه: (طهران)
موضوع : Reliability -- Congresses ، Computer software,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
3555
178. Software components with Ada : structures, tools, and subsystems
پدیدآورنده : Booch, Grady.
موضوع : ، Ada )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
179. Software development with Ada
پدیدآورنده : Sommerville, Ian.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development,، Ada )Computer program language(
